#include<stdio.h>
int main(void){
    char c[100];
    int i=0;
    while(c[i]=getchar()!='\n'){
        i++;
    }
    printf("%d",i);
}